@i: k affects only members of L(j)
== if eqof(IdDeq)(j,i) k affects only members of L else  fi 

latex

Definitions	x.A(x), if b t else f fi, f(a), eqof(d), IdDeq,
FDL editor aliases	d-single-aframe